Extensions of pseudo-valuations
نویسندگان
چکیده
منابع مشابه
Extensions of valuations
Continuous valuations have been proposed by several authors as a way of modeling probabilistic non-determinism in programming language semantics. Let (X;O) be a topological space. A quasi-simple valuation on X is the sup of a directed family of simple valuations. We show that quasisimple valuations are exactly those valuations that extend to continuous valuations to the Alexandroff topology on ...
متن کاملQuotient BCI-algebras induced by pseudo-valuations
In this paper, we study pseudo-valuations on a BCI-algebra and obtain some related results. The relation between pseudo-valuations and ideals is investigated. We use a pseudo-metric induced by a pseudovaluation to introduce a congruence relation on a BCI-algebra. We define the quotient algebra induced by this relation and prove that it is also a BCI-algebra and study its properties.
متن کاملBCC-algebras with pseudo-valuations
The notion of pseudo-valuations (valuations) on a BCC-algebra is introduced by using the Buşneag’s model ([1–3]), and a pseudo-metric is induced by a pseudo-valuation on BCC-algebras. Conditions for a real-valued function to be an BCK-pseudo-valuation are provided. The fact that the binary operation in BCC-algebras is uniformly continuous is provided based on the notion of (pseudo) valuation.
متن کاملPseudo-Valuations on BE-Algebras
Based on the Buşneag’s model ([2, 3, 4]), the notion of pseudovaluations (valuations) on a BE-algebra is introduced, and a pseudometric is induced by a pseudo-valuation on BE-algebras. Related properties are investigated, and conditions for a real-valued function on a BE-algebra to be a pseudo-valuation are discussed. Using the notion of (pseudo) valuation, we show that the binary operation in ...
متن کاملCommutative Pseudo valuations on BCK-Algebras
D. Buşneag 1 defined pseudo valuation on a Hilbert algebra and proved that every pseudo valuation induces a pseudometric on a Hilbert algebra. Also, D. Buşneag 2 provided several theorems on extensions of pseudo valuations. C. Buşneag 3 introduced the notions of pseudo valuations valuations on residuated lattices, and proved some theorems of extension for these using the model of Hilbert algebr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1969
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1969.29.295